P1 CNF